منابع مشابه
Experimental Analysis of Parallel Systems : Techniques
Massively parallel systems pose daunting performance in-strumentation and data analysis problems. Balancing instrumentation detail, application perturbation, data reduction costs, and presentation complexity requires a mix of science, engineering, and art. This paper surveys current techniques for performance instrumentation and data presentation, illustrates one approach to tool extensibility,...
متن کاملExperimental Analysis of Different Techniques for Bounded Model Checking
Bounded model checking (BMC) is a procedure that searches for counterexamples to a given property through bounded executions of a non-terminating system. This paper compares the performance of SAT-based, BDD-based and explicit state based BMC on benchmarks drawn from commercial designs. Our experimental framework provides a uniform and comprehensive basis to evaluate each of these approaches. T...
متن کاملExperimental Design for Comparing Static Concurrency Analysis Techniques
formally, experimentation can help develop estimates of Software engineering has suffered from a shortage of empirical studies. We recently undertook a study in an area that seems well suited to empirical investigation, comparing the performance of several static analysis tools for evaluating properties of concurrent software. During the course of that study, we encountered a number of signific...
متن کاملExperimental Analysis of Camera Calibration Techniques Used for Eye Tracking
This paper discusses the calibration phase required prior to working of any gesture recognition or eye tracking devices. The calibration phase is an starting phase of eye tracking system. Prior to tracking phase, calibration (for eye detection) is required. Four methods have been tried in this paper, namely: using a box, multiple frames, laser and neural networks. The results of implementing ea...
متن کاملExperimental Techniques for Observing Dislocations
Experimental problems in the application of the BergBarrett Method to the observation of dislocations in metal single c r ystals a re dis c u ssed . The problem of background nois~ caused by fluorescense from the s pecimen and inelastic scattering is considered. A c r i t e rion for selecLing an appropria t e f ilte r to discriminate against the background CALT 4 7 322 noise is presented. The p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sen'i Gakkaishi
سال: 1975
ISSN: 0037-9875,1884-2259
DOI: 10.2115/fiber.31.9_p289